- effective calculability
- эффективная вычислимость
Англо-русский словарь по исследованиям и ноу-хау. Е.Г. Коваленк. 2015.
Англо-русский словарь по исследованиям и ноу-хау. Е.Г. Коваленк. 2015.
Effective method — An effective method (also called an effective procedure) for a class of problems is a method for which each step in the method may be described as a mechanical operation and which, if followed rigorously, and as far as may be necessary, is bound… … Wikipedia
History of the Church–Turing thesis — This article is an extension of the history of the Church–Turing thesis. The debate and discovery of the meaning of computation and recursion has been long and contentious. This article provides detail of that debate and discovery from Peano s… … Wikipedia
History of the Church-Turing thesis — This article is an extension of the history of the Church Turing thesis.The debate and discovery of the meaning of computation and recursion has been long and contentious. This article provides detail of that debate and discovery from Peano s… … Wikipedia
Church–Turing thesis — Church s thesis redirects here. For the constructive mathematics assertion, see Church s thesis (constructive mathematics). In computability theory, the Church–Turing thesis (also known as the Church–Turing conjecture, Church s thesis, Church s… … Wikipedia
Algorithm — Flow chart of an algorithm (Euclid s algorithm) for calculating the greatest common divisor (g.c.d.) of two numbers a and b in locations named A and B. The algorithm proceeds by successive subtractions in two loops: IF the test B ≤ A yields yes… … Wikipedia
Turing machine — For the test of artificial intelligence, see Turing test. For the instrumental rock band, see Turing Machine (band). Turing machine(s) Machina Universal Turing machine Alternating Turing machine Quantum Turing machine Read only Turing machine… … Wikipedia
These de Church — Thèse de Church La thèse de Church du nom du mathématicien Alonzo Church est le principe de base de la calculabilité. Dans sa forme la plus ordinaire, elle affirme que tout traitement réalisable mécaniquement peut être accompli par un ordinateur… … Wikipédia en Français
Thèse Church-Turing — Thèse de Church La thèse de Church du nom du mathématicien Alonzo Church est le principe de base de la calculabilité. Dans sa forme la plus ordinaire, elle affirme que tout traitement réalisable mécaniquement peut être accompli par un ordinateur… … Wikipédia en Français
Thèse de Church-Turing — Thèse de Church La thèse de Church du nom du mathématicien Alonzo Church est le principe de base de la calculabilité. Dans sa forme la plus ordinaire, elle affirme que tout traitement réalisable mécaniquement peut être accompli par un ordinateur… … Wikipédia en Français
Thèse de church — La thèse de Church du nom du mathématicien Alonzo Church est le principe de base de la calculabilité. Dans sa forme la plus ordinaire, elle affirme que tout traitement réalisable mécaniquement peut être accompli par un ordinateur (plus… … Wikipédia en Français
Thèse de Church — La thèse de Church du nom du mathématicien Alonzo Church est une hypothèse ( thèse ) concernant la définition de la notion de calculabilité. Dans une forme dite physique [1], elle affirme que la notion physique de la calculabilité, définie comme… … Wikipédia en Français